Turing's proof